bf3e779a4e3f4eb69e67f619ace1d4751ae6769d,src/main/java/org/basex/core/Prop.java,Prop,applicationPath,#,228

Before Change


    final ProtectionDomain pd = Prop.class.getProtectionDomain();
    if(pd == null) return null;
    // raw application path
    final String path = pd.getCodeSource().getLocation().getPath();
    // decode path; URLDecode returns wrong results
    final TokenBuilder tb = new TokenBuilder();
    final int pl = path.length();

After Change


    final ProtectionDomain pd = Prop.class.getProtectionDomain();
    if(pd == null) return null;
    // code source (may be null)
    final CodeSource cs = pd.getCodeSource();
    if(cs == null) return null;
    // raw application path
    final String path = cs.getLocation().getPath();